Alethic Vs Temporal Modal Logic